home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / glass / glass.lha / GLASS / uflat2 / test8.gl < prev    next >
Text File  |  1991-06-18  |  89b  |  9 lines
  1. Basetype E;
  2.  
  3. Atom
  4.    nand :- E & E => E;
  5.  
  6. Def
  7.    str :- E & E => E;
  8.    str as = nand as;
  9.